Fast, Exact, Linear Booleans
نویسندگان
چکیده
We present a new system for robustly performing Boolean operations on linear, 3D polyhedra. Our system is exact, meaning that all internal numeric predicates are exactly decided in the sense of exact geometric computation. Our BSP-tree based system is 16-28× faster at performing iterative computations than CGAL’s Nef Polyhedra based system, the current best practice in robust Boolean operations, while being only twice as slow as the non-robust modeler Maya. Meanwhile, we achieve a much smaller substrate of geometric subroutines than previous work, comprised of only 4 predicates, a convex polygon constructor, and a convex polygon splitting routine. The use of a BSP-tree based Boolean algorithm atop this substrate allows us to explicitly handle all geometric degeneracies without treating a large number of cases.
منابع مشابه
Approximate Reasoning with Fuzzy Booleans
This paper introduces, in analogy to the concept of fuzzy numbers, the concept of fuzzy booleans, and examines approximate reasoning with the compositional rule of inference using fuzzy booleans. It is shown that each set of fuzzy rules is equivalent to a set of fuzzy rules with singleton crisp antecedents; in case of fuzzy booleans this set contains only two rules. It is shown that Zadeh's ext...
متن کاملThe Power of Linear Functions
The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension with Booleans, natural numbers and a linear iterator. We show properties of this linear version of Gödel’s System T and study the class of functions that can be represented. Surprisingly, this linear calculus is extremely expre...
متن کاملFast Generation of Deviates for Order Statistics by an Exact Method
We propose an exact method for generating random deviates from continuous order statistics. This versatile method that generates Beta deviates as a middle step can be applied to any density function without resorting to numerical inversion. We also conduct an exhaustive investigation to document the merits of our method in generating deviates from any Beta distribution.
متن کاملA finite difference method for the smooth solution of linear Volterra integral equations
The present paper proposes a fast numerical method for the linear Volterra integral equations withregular and weakly singular kernels having smooth solutions. This method is based on the approx-imation of the kernel, to simplify the integral operator and then discretization of the simpliedoperator using a forward dierence formula. To analyze and verify the accuracy of the method, weexamine samp...
متن کاملFast Library for Number Theory: An Introduction
We discuss FLINT (Fast Library for Number Theory), a library to support computations in number theory, including highly optimised routines for polynomial arithmetic and linear algebra in exact rings.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Comput. Graph. Forum
دوره 28 شماره
صفحات -
تاریخ انتشار 2009